Search Results
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain
Keynote talk by Bas Spitters: Verified Oak Smart Contracts
Formal verification for smart contracts. – by Sergey Egorov
November Meeting -- Bas Spitters
Concordium Smart Contracts and Formal Verification
Formal verification: the road to complete security of smart contracts - Martin Lundfall
Formal verification of smart contracts
ConCert: A Smart Contract Certification Framework in Coq.
Formal Verification of Smart Contracts and Protocols: What, Why, How (Devcon5)
Smart Contract Languages & Formal Verification, Part 2 - Tezos Workshop
[CPP'23] Formalising Decentralised Exchanges in Coq
Formal Smart Contract Verification | Runtime Verification Inc.
![[CPP'23] Formalising Decentralised Exchanges in Coq](https://img.youtube.com/vi/3POvlkMjHnI/hqdefault.jpg)
